Commit ea8b0f41 authored by POGODALLA Sylvain's avatar POGODALLA Sylvain

No commit message

No commit message
parent c3eb6640
;;(define-derived-mode acg-mode nil "ACG" "Major mode for ACG" nil)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;
;; ACG development toolkit
;;
;; Copyright 2008 INRIA
;;
;; More information on "http://acg.gforge.loria.fr/"
;; License: CeCILL, see the LICENSE file or "http://www.cecill.info"
;; Authors: see the AUTHORS file
;;
;;
;;
;;
;; $Rev:: $: Revision of last commit
;; $Author:: $: Author of last commit
;; $Date:: $: Date of last commit
;;
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; Main missing features: indentation
(require 'generic-x)
(define-generic-mode
......
......@@ -60,7 +60,7 @@ signature semantics =
o = g => g => ( g => g => t =>t ) => t:type ;
vt = Lambda v O S.S(Lambda x.O(Lambda y.Lambda e1 e2 phi. phi e1 e2 (v x y))) : (e => e => t) => ((e =>o ) => o) => ((e =>o ) => o) => o ;
n = Lambda n .Lambda x.Lambda c e1 e2 phi. phi e1 e2 (n x) : (e => t) => e => o;
n = Lambda n .Lambda x.Lambda c e1 e2.Lambda phi. phi e1 e2 (n x) : (e => t) => e => o;
end
lexicon drt (syntax):semantics =
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment