Frege is older, so I would assume more stable, but I'd never heard of it before today. It seems to be essentially the same language as Eta, which I've at least heard of (though never used).
Does anyone have experience with either / both of these languages? Are there any major differences between them?
originally posted on Reddit