An implementation of the Goal Requirements Language (GRL) in Idris.
The main imports are:
GRL.Lang.<variant>- Imports an EDSL for constructing GRL Models.
GRL.Eval- Imports the evaluation algorithms.
This repository has been archived by the owner on Mar 31, 2020. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 0
An implementation of the Goal Requirements Language in Idris.
License
jfdm/idris-grl
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
An implementation of the Goal Requirements Language in Idris.
Resources
License
Stars
Watchers
Forks
Packages 0
No packages published