Skip to content

ghassheee/ocaml

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

108 Commits
Fsub
Fsub
 
 
PA
PA
 
 
asm
asm
 
 
dependent
dependent
 
 
dtt
dtt
 
 
fullsimple
fullsimple
 
 
inf
inf
 
 
ipc
ipc
 
 
omega
omega
 
 
proof
proof
 
 
reconrec
reconrec
 
 
simple
simple
 
 
simplebool
simplebool
 
 
subtype
subtype
 
 
systemF
systemF
 
 
untyped
untyped
 
 
README.md
README.md
 
 

Repository files navigation

               untyped                                         
                                                               
                simple

About

a ML implementation towards HoTT

Resources

Readme
Activity

Stars

0 stars

Watchers

1 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

 
 
 

Contributors

Languages