Pull requests: RedPRL/sml-dependent-lcf

0 Open 28 Closed

Author

Filter by author

Loading

author:

Filter by this user

Label

Filter by label

Loading

Projects

Filter by project

Loading

Milestones

Filter by milestone

Loading

Reviews

Filter by reviews

No reviews Review required Approved review Changes requested

Assignee

Filter by who’s assigned

Assigned to nobody Loading

assignee:

Filter by this user

Sort

Sort by

Newest Oldest Most commented Least commented Recently updated Least recently updated Best match

Most reactions

👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

cheaper PROGRESS

#43 by jonsterling was merged Feb 13, 2018 Loading…

accumulate meta-info on subgoals

#42 by jonsterling was merged Dec 31, 2017 Loading…

1

3

Issue 34

#41 by jonsterling was merged Nov 22, 2017 Loading…

4

Monad transformers-based version

#39 by jonsterling was closed Feb 26, 2018 Loading…

try implementing backtracking

#38 by jonsterling was merged Oct 30, 2017 Loading…

1

remove sml-cats dependency

#37 by jonsterling was merged Oct 8, 2017 Loading…

Remove parameters

#36 by jonsterling was merged Oct 5, 2017 Loading…

remove "Eff" crap

#33 by jonsterling was merged Aug 7, 2017 Loading…

delete nominal lcf library (will be incorporated into redprl)

#32 by jonsterling was merged Jul 26, 2017 Loading…

Update sml-cats and sml-typed-abts.

#31 by favonia was merged Jul 22, 2017 Loading…

Update sml-cats and sml-typed-abts.

#30 by favonia was merged Jul 22, 2017 Loading…

update abt lib

#29 by jonsterling was merged Jul 20, 2017 Loading…

Update libraries.

#28 by favonia was merged Jun 24, 2017 Loading…

1

Update sml-telescopes.

#27 by favonia was merged Jun 24, 2017 Loading…

provide "sequential" versions of multitacticals (#23)

#26 by jonsterling was merged Jun 19, 2017 Loading…

Delete generic judgment stuff

#25 by jonsterling was merged Jun 19, 2017 Loading…

update libs

#24 by jonsterling was merged Jun 17, 2017 Loading…

Update git command in README

#22 by thsutton was merged Jun 17, 2017 Loading…

1

generic judgment

#20 by jonsterling was merged Jan 2, 2017 Loading…

1

some redesign of nominal lcf, following #17

#18 by jonsterling was merged Oct 23, 2016 Loading…

start developing next-gen dependent lcf lib

#16 by jonsterling was merged Oct 23, 2016 Loading…

[breaking change] address #12, use splay-dict for environments

#13 by jonsterling was merged Sep 29, 2016 Loading…

Update for new sml-typed-abts and sml-telescopes lib versions

#10 by jonsterling was merged Sep 5, 2016 Loading…

compatibility with new abt lib version

#9 by jonsterling was merged May 28, 2016 Loading…

upgrade abt lib

#8 by jonsterling was merged May 9, 2016 Loading…