This website requires JavaScript.
Explore
Help
Sign In
GitHub
/
gf-rgl
Watch
1
Star
0
Fork
1
You've already forked gf-rgl
mirror of
https://github.com/GrammaticalFramework/gf-rgl.git
synced
2026-08-22 12:16:23 -06:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
2,660
Commits
9
Branches
8
Tags
0b9ca96ef6083428c26bc7d4bf2dbc0932caf173
T
Code
Clone
HTTPS
Tea CLI
Open with VS Code
Open with VSCodium
Open with Intellij IDEA
Download ZIP
Download TAR.GZ
Download BUNDLE
aarne
0b9ca96ef6
experimental Predication with dependent types - promising, but far from finished
2014-01-23 16:12:28 +00:00
doc
working through translator/Extensions with some reorganization and generalizations
2014-01-22 14:44:56 +00:00
haskell
conversion of Int to Tree in haskell
2009-12-07 15:00:52 +00:00
src
experimental Predication with dependent types - promising, but far from finished
2014-01-23 16:12:28 +00:00
tests
Fix bescherelle tests broken (True/False order)
2013-12-03 14:29:36 +00:00
S
Description
No description provided
BSD-3-Clause
214
MiB
Languages
Grammatical Framework
99.9%
aarne