Skip to content

CakeML/hol-reflection

1 Branch0 Tags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

xrchzxrchz
Same fix as previous commit, in lca dir
Jan 30, 2017
5791eff · Jan 30, 2017

History

440 Commits
demos
demos
Apr 13, 2016
lca
lca
Jan 30, 2017
.gitignore
.gitignore
Apr 29, 2016
Holmakefile
Holmakefile
Jan 30, 2017
README.md
README.md
Oct 3, 2016
basicReflectionLib.sml
basicReflectionLib.sml
Dec 12, 2014
definitions.txt
definitions.txt
Sep 10, 2014
holConstrainedExtensionScript.sml
holConstrainedExtensionScript.sml
Nov 12, 2016
holDerivationLib.sig
holDerivationLib.sig
Feb 16, 2015
holDerivationLib.sml
holDerivationLib.sml
Mar 21, 2016
holDerivationScript.sml
holDerivationScript.sml
Jul 25, 2016
holSyntaxLib.sig
holSyntaxLib.sig
Feb 16, 2015
holSyntaxLib.sml
holSyntaxLib.sml
Jun 24, 2016
notes.txt
notes.txt
Jan 16, 2015
reader.sml
reader.sml
Jul 20, 2014
reflectionLib.sig
reflectionLib.sig
Jun 24, 2016
reflectionLib.sml
reflectionLib.sml
Aug 16, 2016
reflectionScript.sml
reflectionScript.sml
Aug 13, 2016

Repository files navigation

hol-reflection

Build Instructions

Clone CakeML, set $CAKEMLDIR to wherever you cloned it to, then run Holmake.

This research was supported as part of the Future of Life Institute (futureoflife.org) FLI-RFP-AI1 program, grant #2015-144121

About

No description, website, or topics provided.

Resources

Readme
Activity
Custom properties

Stars

8 stars

Watchers

6 watching

Forks

1 fork
Report repository

Releases

No releases published

Packages

No packages published

Contributors 4

Languages