Index of /lib/src/latin/dict
Name
Last modified
Size
Description
Parent Directory
-
README
2017-01-19 15:58
898
MkLatin.hs
2017-01-24 11:52
3.4K
BigLatEng.gf
2017-01-24 11:52
58
BigLatAbs.gf
2017-01-19 16:41
42
BigLat.gf
2017-01-19 16:41
52
Apache/2.4.29 (Ubuntu) Server at www.grammaticalframework.org Port 443