Due to inactivity, this project is scheduled to be deleted on 2035-04-24. Why is this scheduled?

Tags

Tags give the ability to mark specific points in history as being important

package-curly-0.59.5

85ea2223 · Update the CI scripts to handle packaging cached builds · Apr 01, 2019
release-curly-0.59.5

85ea2223 · Update the CI scripts to handle packaging cached builds · Apr 01, 2019

Release: release-curly-0.59.5
package-capricon-0.10

8149d62c · Implement a 'pull' builtin to precisely manage the scope of terms on the... · Mar 22, 2019
package-capricon-0.10.1

cfed7d16 · Update the 'match' CaPriCon builtin to handle universes · Mar 22, 2019
package-capricon-0.9.2

71dad95b · Implement an 'axiom' builtin to allow the CaPriCon logic to be arbitrarily extended · Mar 22, 2019
package-curly-0.59.4.3

93d43de5 · Version bump: curly 0.59.4.3 · Mar 22, 2019
package-curly-0.59.4.5

d8338e3e · Integrate the 'bashcomps.shl' library into the Curly package, so that... · Mar 22, 2019
package-curly-gui-0.1.0.0

d604c6a4 · Integrate the 'curly-gui' and 'definitive-graphics' packages from old projects · Mar 22, 2019
package-definitive-graphics-2.2.0.1

d604c6a4 · Integrate the 'curly-gui' and 'definitive-graphics' packages from old projects · Mar 22, 2019
release-capricon-0.10

8149d62c · Implement a 'pull' builtin to precisely manage the scope of terms on the... · Mar 22, 2019
release-capricon-0.10.1

cfed7d16 · Update the 'match' CaPriCon builtin to handle universes · Mar 22, 2019
release-capricon-0.9.2

71dad95b · Implement an 'axiom' builtin to allow the CaPriCon logic to be arbitrarily extended · Mar 22, 2019
release-curly-0.59.4.3

93d43de5 · Version bump: curly 0.59.4.3 · Mar 22, 2019
release-curly-0.59.4.5

d8338e3e · Integrate the 'bashcomps.shl' library into the Curly package, so that... · Mar 22, 2019
package-capricon-0.8.2

5aacb188 · Generalize the CaPriCon operations into a class, to better manage de Bruijn... · Mar 22, 2019
package-capricon-0.9

ba7c9391 · Fun with Logos · Mar 22, 2019
package-definitive-parser-3.1

24e3ee38 · Second definitive-parser overhaul, this time reducing the number of extra... · Mar 22, 2019
package-logos-0.1

5c1dfaea · Implement the basic Logos interpreter · Mar 22, 2019
release-capricon-0.8.2

5aacb188 · Generalize the CaPriCon operations into a class, to better manage de Bruijn... · Mar 22, 2019
release-capricon-0.9

ba7c9391 · Fun with Logos · Mar 22, 2019

Prev
1
2
3
4
5
6
…
9
Next