Block or report user

Report or block aseemr

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse



Popular repositories

aseemr doesn’t have any public repositories yet.

1,302 contributions in the last year

Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Mon Wed Fri

Contribution activity

October 2018

Created an issue in FStarLang/FStar that received 1 comment

Bug in extracting eta contracted definitions

A.fsti: module A val foo (#a:Type0) (n:int) (x:a) :Tot int val bar (#a:Type0) (x:a) :Tot int A.fst: module A let foo #a n x = 0 let bar #a = foo #…

1 comment

Seeing something unexpected? Take a look at the GitHub profile guide.