buddypress domain was triggered too early. This is usually an indicator for some code in the plugin or theme running too early. Translations should be loaded at the init action or later. Please see Debugging in WordPress for more information. (This message was added in version 6.7.0.) in /home2/raleigh/silverbirches19341.com/wp-includes/functions.php on line 6170buddypress domain was triggered too early. This is usually an indicator for some code in the plugin or theme running too early. Translations should be loaded at the init action or later. Please see Debugging in WordPress for more information. (This message was added in version 6.7.0.) in /home2/raleigh/silverbirches19341.com/wp-includes/functions.php on line 6170events-manager domain was triggered too early. This is usually an indicator for some code in the plugin or theme running too early. Translations should be loaded at the init action or later. Please see Debugging in WordPress for more information. (This message was added in version 6.7.0.) in /home2/raleigh/silverbirches19341.com/wp-includes/functions.php on line 6170simple-buddypress-profile-privacy domain was triggered too early. This is usually an indicator for some code in the plugin or theme running too early. Translations should be loaded at the init action or later. Please see Debugging in WordPress for more information. (This message was added in version 6.7.0.) in /home2/raleigh/silverbirches19341.com/wp-includes/functions.php on line 6170wordpress-seo domain was triggered too early. This is usually an indicator for some code in the plugin or theme running too early. Translations should be loaded at the init action or later. Please see Debugging in WordPress for more information. (This message was added in version 6.7.0.) in /home2/raleigh/silverbirches19341.com/wp-includes/functions.php on line 6170themify domain was triggered too early. This is usually an indicator for some code in the plugin or theme running too early. Translations should be loaded at the init action or later. Please see Debugging in WordPress for more information. (This message was added in version 6.7.0.) in /home2/raleigh/silverbirches19341.com/wp-includes/functions.php on line 6170Hakon Robbestad Gylterud
2019-12-01, Sunday
The first version is finished of my article on unfounded sets in HoTT. I’m hoping to have the time to put it on arXiv next Wednesday.
2019-12-03 Tuesday
Discussed how to integrate dependent types into GUI specifications…[Read more]
]]>